演繹推理自動化 syllogism: n. 1.【邏輯學(xué)】推論式,三段論(法)。 2.演繹法。 3.巧妙的推論,詭辯。 categorical syllogism: 直言命題; 直言三段論disjunctive syllogism: 析取三段論; 選言三段論; 選言推理fuzzy syllogism: 模糊三段式hypothetical syllogism: 假言三段論下載手機詞典可隨時隨地查詞查翻譯